1. Explanation and Proof in Mathematics
پدیدآورنده: \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
2. Explanation and proof in mathematics
پدیدآورنده: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Mathematics, Philosophy,Beweistheorie, swd,Philosophie, swd
رده :
E-BOOK
3. Explanation and proof in mathematics
پدیدآورنده: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Mathematics--Philosophy,Beweistheorie--swd,Philosophie--swd
رده :
QA
,
9
.
54
,.
E97
,
2010
4. Explanation and proof in mathematics
پدیدآورنده: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Mathematics, Philosophy
رده :
QA9
.
54
.
E97
2010
5. Explanation and proof in mathematics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ; Mathematics ; Philosophy. ; Beweistheorie ; swd. ; Philosophie ; swd. ;
6. Explanation and proof in mathematics: philosophical and educational perspectives
پدیدآورنده: Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,Philosophy ، Mathematics
رده :
QA
9
.
54
.
E97
2010
7. Mathematical undecidability, quantum nonlocality, and the question of the existence of God
پدیدآورنده: edited by Alfred Driessen and Antoine Suarez
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Physics- Philosophy,، Mathematics- Philosophy,، Quantum theory,، God- Proof, Ontological
رده :
QC
6
.
M357
1997
8. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
9. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
10. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
